sign($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if 0 $\leq$z $x$ then 1 else {-}1 fi